When can we decide that a P-finite sequence is positive?

نویسندگان

  • Manuel Kauers
  • Veronika Pillwein
چکیده

We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed on a great many examples, there is no guarantee for them to terminate, and they do in fact not terminate for every input. For some restricted classes of P-finite recurrence equations of order up to three we provide a priori criteria that assert the termination of the algorithms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An explicit formula for the number of fuzzy subgroups of a finite abelian $p$-group\ of rank two

Ngcibi, Murali and Makamba [Fuzzy subgroups of rank two abelian$p$-group, Iranian J. of Fuzzy Systems {bf 7} (2010), 149-153]considered the number of fuzzy subgroups of a finite abelian$p$-group $mathbb{Z}_{p^m}times mathbb{Z}_{p^n}$ of rank two, andgave explicit formulas for the cases when $m$ is any positiveinteger and $n=1,2,3$. Even though their method can be used for thecases when $n=4,5,l...

متن کامل

When Can Finite Testing Ensure Infinite Trustworthiness?

In this paper we contribute to the general philosophical‎ ‎question as to whether empirical testing can ever prove a physical law.‎ ‎Problems that lead to this question arise under several contexts‎, ‎and the ‎matter has been addressed by the likes of Bayes and Laplace‎. ‎After pointing‎ ‎out that a Bayesian approach is the proper way to address this problem‎, ‎we‎ ‎show that the answ...

متن کامل

ON THE CHARACTERISTIC DEGREE OF FINITE GROUPS

In this article we introduce and study the concept of characteristic degree of a subgroup in a finite group. We define the characteristic degree of a subgroup H in a finite group G as the ratio of the number of all pairs (h,α) ∈ H×Aut(G) such that h^α∈H, by the order of H × Aut(G), where Aut(G) is the automorphisms group of G. This quantity measures the probability that H can be characteristic ...

متن کامل

A new sequence space and norm of certain matrix operators on this space

In the present paper, we introduce the sequence space [{l_p}(E,Delta) = left{ x = (x_n)_{n = 1}^infty : sum_{n = 1}^infty left|  sum_{j in {E_n}} x_j - sum_{j in E_{n + 1}} x_jright| ^p < infty right},] where $E=(E_n)$ is a partition of finite subsets of the positive integers and $pge 1$. We investigate its topological properties and inclusion relations. Moreover, we consider the problem of fin...

متن کامل

On the Dynamic of a Nonautonomous

Nonlinear difference equations of higher order are important in applications; such equations appear naturally as discrete analogues of differential and delay differential equations which model various diverse phenomena in biology, ecology, economics, physics and engineering. The study of dynamical properties of such equations is of great importance in many areas. The autonomous difference equat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1005.0600  شماره 

صفحات  -

تاریخ انتشار 2010